Sunflower User Manual
1.0
  • Overview
  • Installation
  • Sunflower
  • Natural Language Paraphrasing
  • Flora
    • Other Sources of Documentation
    • Comments
    • Statements
    • Facts
      • Facts
      • Schema Frames
      • Boolean Properties
    • Queries and Latent Queries
    • ’and’ and ’or’
    • Precedence and Parentheses
    • Rules
    • How Flora Answers Queries
    • Directives
    • Arithmetic
    • Dot Expressions
    • Built-in Libraries and Types, Modules, and XSB predicates
    • Aggregate Operators
    • Compound Terms
    • Negation
    • Control Flow Statements
    • Imports
    • Knowledge Base Updates
    • Non-tabled Predicates
    • Representing Actions
    • User-Defined Functions
    • Quantifiers
    • Skolems
    • Typed Variables
    • CLP(R) math
    • Glossary
  • Example
  • Troubleshooting
  • Acknowledgements
Sunflower User Manual
  • Docs »
  • Flora »
  • Facts
  • View page source

Facts¶

  • Facts
  • Schema Frames
  • Boolean Properties
Next Previous

© Copyright 2017, SRI International.

Built with Sphinx using a theme provided by Read the Docs.