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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - resource
resource

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2418-2418 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1887-1891
No TPTP formula. May not be expressible in strict first order. Merge.kif 2422-2428
No TPTP formula. May not be expressible in strict first order. Merge.kif 2416-2416 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2417-2417 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2414-2414 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2415-2415 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2413-2413 resource is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 181-181
No TPTP formula. May not be expressible in strict first order. english_format.kif 185-185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8458-8458 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 182-182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49717-49717
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49716-49716

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11585-11592 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28839-28860
No TPTP formula. May not be expressible in strict first order. Merge.kif 9721-9725
No TPTP formula. May not be expressible in strict first order. Merge.kif 9710-9714
No TPTP formula. May not be expressible in strict first order. Merge.kif 9699-9703
No TPTP formula. May not be expressible in strict first order. Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 639-649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18210-18215
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
No TPTP formula. May not be expressible in strict first order. Cars.kif 3169-3179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3730-3738
No TPTP formula. May not be expressible in strict first order. Merge.kif 11633-11639
No TPTP formula. May not be expressible in strict first order. Economy.kif 4514-4520
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9979-9983
No TPTP formula. May not be expressible in strict first order. Food.kif 1043-1058
No TPTP formula. May not be expressible in strict first order. Merge.kif 7639-7644
No TPTP formula. May not be expressible in strict first order. Merge.kif 11671-11677
No TPTP formula. May not be expressible in strict first order. Merge.kif 11646-11652

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11654-11664 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6172-6182 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17190-17203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3011-3019
No TPTP formula. May not be expressible in strict first order. Food.kif 542-556
No TPTP formula. May not be expressible in strict first order. naics.kif 7249-7264
No TPTP formula. May not be expressible in strict first order. naics.kif 5133-5157
No TPTP formula. May not be expressible in strict first order. naics.kif 5428-5450
No TPTP formula. May not be expressible in strict first order. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12869-12881
No TPTP formula. May not be expressible in strict first order. Economy.kif 4657-4663
No TPTP formula. May not be expressible in strict first order. Merge.kif 3805-3810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2349-2356
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615
No TPTP formula. May not be expressible in strict first order. Cars.kif 629-637
No TPTP formula. May not be expressible in strict first order. Food.kif 1064-1071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19340-19347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5079-5085
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19388-19395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5069-5071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3573-3579
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17457-17464

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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