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 2525-2525 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2524-2524 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1887-1891 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2528-2534 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 512-516 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2522-2522 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2523-2523 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2520-2520 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2521-2521 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2519-2519 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 182-182
No TPTP formula. May not be expressible in strict first order. french_format.kif 110-110
No TPTP formula. May not be expressible in strict first order. relations-it.txt 256-256
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1939-1939
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 86-86
No TPTP formula. May not be expressible in strict first order. relations-de.txt 229-229
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 129-129
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 115-115
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 448-448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18690-18690 resource consumption is internally related to resource
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10004-10004 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 182-182 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49727-49727 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49726-49726 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. terms-de.txt 72-72 reactant is a subrelation of resource

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12620-12627 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 346-361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32596-32617
No TPTP formula. May not be expressible in strict first order. Merge.kif 10416-10420
No TPTP formula. May not be expressible in strict first order. Merge.kif 10405-10409
No TPTP formula. May not be expressible in strict first order. Merge.kif 10392-10398
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 12885-12889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22032-22037
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. Merge.kif 12701-12710
No TPTP formula. May not be expressible in strict first order. Cars.kif 3216-3226
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 569-575
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 582-588
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 514-524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3631-3639
No TPTP formula. May not be expressible in strict first order. Merge.kif 12668-12674
No TPTP formula. May not be expressible in strict first order. Economy.kif 5971-5977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13141-13145
No TPTP formula. May not be expressible in strict first order. Food.kif 3624-3639
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Merge.kif 8110-8115
No TPTP formula. May not be expressible in strict first order. Merge.kif 12717-12723

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. Mid-level-ontology.kif 7415-7425 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 equal the object and 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. Transportation.kif 4203-4227
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 815-836
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3957-3967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20950-20963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3009-3017
No TPTP formula. May not be expressible in strict first order. Food.kif 2555-2569
No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4115-4126
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4142-4149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16525-16537
No TPTP formula. May not be expressible in strict first order. Economy.kif 6156-6162
No TPTP formula. May not be expressible in strict first order. Merge.kif 3953-3958
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1025-1031
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1018-1023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2349-2357
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 3645-3652
No TPTP formula. May not be expressible in strict first order. Food.kif 1572-1579
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5213-5219

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