Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  property

Sigma KEE - property
property

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1712-1713
No TPTP formula. May not be expressible in strict first order. Merge.kif 1620-1622
No TPTP formula. May not be expressible in strict first order. Merge.kif 1617-1617 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1618-1618 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1616-1616 property is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 177-177
No TPTP formula. May not be expressible in strict first order. english_format.kif 181-181
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1622-1622 abstraction level is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1628-1628 attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1519-1519 complexity is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1378-1378 design pattern is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 457-457 environment attributes is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1475-1475 form of adaptation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 1640-1640 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 16129-16129 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23532-23532 shape is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 794-794 status is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1558-1558 strictness is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1347-1347 system behavior is a subrelation of property
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1447-1447 task relation is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 15838-15838 truth is a subrelation of property
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47732-47732
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 178-178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47731-47731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47730-47730

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1547-1557 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2675-2687
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2689-2701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20119-20123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 383-388
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1170-1174
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1164-1168
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1142-1146
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1136-1140
No TPTP formula. May not be expressible in strict first order. Transportation.kif 400-405
No TPTP formula. May not be expressible in strict first order. Transportation.kif 447-452
No TPTP formula. May not be expressible in strict first order. Transportation.kif 423-428
No TPTP formula. May not be expressible in strict first order. Transportation.kif 430-435
No TPTP formula. May not be expressible in strict first order. Geography.kif 6647-6653
No TPTP formula. May not be expressible in strict first order. Geography.kif 6672-6678
No TPTP formula. May not be expressible in strict first order. Geography.kif 6612-6618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11799-11813
No TPTP formula. May not be expressible in strict first order. Merge.kif 15823-15829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23540-23545
No TPTP formula. May not be expressible in strict first order. engineering.kif 229-233
No TPTP formula. May not be expressible in strict first order. engineering.kif 210-216
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2709-2721
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2729-2741
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2591-2607

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3158-3164 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 987-990 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order. Transportation.kif 407-409 An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 463-465 An entity is an instance of DualGaugeRailway if and only if the entity the attribute dual gauge railway
No TPTP formula. May not be expressible in strict first order. Transportation.kif 454-456 An entity is an instance of narrow gauge railway if and only if the entity the attribute narrow gauge
No TPTP formula. May not be expressible in strict first order. Transportation.kif 437-439 An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge
No TPTP formula. May not be expressible in strict first order. Merge.kif 1710-1715 An entity is an instance of the attr of a set or class and an attribute if and only if the entity is an instance of the set or class and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11691-11694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11652-11657
No TPTP formula. May not be expressible in strict first order. Merge.kif 16160-16173
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1106-1115
No TPTP formula. May not be expressible in strict first order. Media.kif 995-1000
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1170-1174
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1164-1168
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1142-1146
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1136-1140
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-643
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2634-2638
No TPTP formula. May not be expressible in strict first order. Merge.kif 1700-1708
No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18508-18521
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-486
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1219-1223
No TPTP formula. May not be expressible in strict first order. Merge.kif 266-271
No TPTP formula. May not be expressible in strict first order. Merge.kif 259-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28744-28744 Cheetah the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28720-28720 Crocodile the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28761-28761 Ferret the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28779-28779 Guinea pig the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28791-28791 Hamster the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28650-28650 Lemur the attribute CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28551-28551 Lion the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28680-28680 Octopus the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28667-28667 Panda the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28633-28633 Parrot the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28702-28702 Reindeer the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28610-28610 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28590-28590 Tiger the attribute endangered species


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners