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 2651-2651 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2650-2650 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2660-2664
No TPTP formula. May not be expressible in strict first order. Merge.kif 2653-2659
No TPTP formula. May not be expressible in strict first order. Merge.kif 2648-2648 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2649-2649 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2646-2646 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2647-2647 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2645-2645 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 117-117
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. portuguese_format.kif 62-62
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 60-60
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-tg.txt 448-448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8462-8462 reactant is a subrelation of resource
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 182-182 "资源" is the printable form of resource in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8715-8715 "resource" is the printable form of resource in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 510-510 "«مَوْرِد لـ»" is the printable form of resource in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12239-12246 A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object 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-153
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Merge.kif 10194-10198
No TPTP formula. May not be expressible in strict first order. Merge.kif 10183-10187
No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10176
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 9763-9767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17819-17824
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 3167-3177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3724-3732
No TPTP formula. May not be expressible in strict first order. Merge.kif 12289-12295
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 9968-9972
No TPTP formula. May not be expressible in strict first order. Food.kif 1085-1100
No TPTP formula. May not be expressible in strict first order. Merge.kif 8184-8189
No TPTP formula. May not be expressible in strict first order. Merge.kif 12331-12337
No TPTP formula. May not be expressible in strict first order. Merge.kif 12304-12310

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12312-12322 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 6162-6172 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 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
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 16799-16812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3010-3018
No TPTP formula. May not be expressible in strict first order. Food.kif 587-601
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 372-392
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 4040-4045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2348-2355
No TPTP formula. May not be expressible in strict first order. Society.kif 1158-1167
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 1106-1113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18877-18884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5074-5080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18925-18932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5064-5066
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3567-3573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17066-17073

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners