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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1625-1627
No TPTP formula. May not be expressible in strict first order. Merge.kif 1622-1622 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1623-1623 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1621-1621 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 178-178
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 1633-1633 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 1645-1645 manner is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Merge.kif 16693-16693 modal attribute is a subrelation of property
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24914-24914 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 16361-16361 truth is a subrelation of property
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47787-47787
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 47786-47786
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47785-47785

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2675-2685 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. Weather.kif 2051-2055
No TPTP formula. May not be expressible in strict first order. Weather.kif 343-347
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. Weather.kif 2085-2089
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2715-2727
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. Weather.kif 2438-2452
No TPTP formula. May not be expressible in strict first order. Weather.kif 2360-2379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21676-21680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 230-235
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 403-409
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-433
No TPTP formula. May not be expressible in strict first order. Transportation.kif 435-441
No TPTP formula. May not be expressible in strict first order. Weather.kif 2354-2358
No TPTP formula. May not be expressible in strict first order. Weather.kif 2186-2200
No TPTP formula. May not be expressible in strict first order. Weather.kif 2091-2109
No TPTP formula. May not be expressible in strict first order. Weather.kif 484-496
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Geography.kif 6813-6819

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 3221-3227 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 411-413 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 469-471 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 460-462 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 443-445 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 1715-1720 An entity is an instance of the attr of a class and an attribute if and only if the entity is an instance of the class and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13494-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13455-13460
No TPTP formula. May not be expressible in strict first order. Merge.kif 16724-16737
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1116-1125
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 629-645
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2674-2678
No TPTP formula. May not be expressible in strict first order. Weather.kif 2125-2138
No TPTP formula. May not be expressible in strict first order. Merge.kif 1705-1713
No TPTP formula. May not be expressible in strict first order. Merge.kif 682-689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20113-20126
No TPTP formula. May not be expressible in strict first order. Merge.kif 474-484
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 265-270

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 29917-29917 Cheetah the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29893-29893 Crocodile the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29934-29934 Ferret the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29952-29952 Guinea pig the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29964-29964 Hamster the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29823-29823 Lemur the attribute CriticallyEndangeredSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29724-29724 Lion the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29853-29853 Octopus the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29840-29840 Panda the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29806-29806 Parrot the attribute LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29875-29875 Reindeer the attribute VulnerableSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29783-29783 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29763-29763 Tiger the attribute endangered species


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



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