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 2460-2460 resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 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 2463-2469
No TPTP formula. May not be expressible in strict first order. Merge.kif 2457-2457 The number 1 argument of resource is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2458-2458 The number 2 argument of resource is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 2455-2455 resource is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2456-2456 resource is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2454-2454 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. Mid-level-ontology.kif 8405-8405 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 49706-49706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49705-49705

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12234-12241 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 30064-30085
No TPTP formula. May not be expressible in strict first order. Merge.kif 10189-10193
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10182
No TPTP formula. May not be expressible in strict first order. Merge.kif 10165-10171
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 11039-11043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19762-19767
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 12315-12324
No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3143-3151
No TPTP formula. May not be expressible in strict first order. Merge.kif 12282-12288
No TPTP formula. May not be expressible in strict first order. Economy.kif 4672-4678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11295-11299
No TPTP formula. May not be expressible in strict first order. Food.kif 1030-1045
No TPTP formula. May not be expressible in strict first order. Merge.kif 7935-7940
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 12295-12301

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6151-6161 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 18754-18767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2505-2513
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
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. Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14620-14632
No TPTP formula. May not be expressible in strict first order. Economy.kif 4815-4821
No TPTP formula. May not be expressible in strict first order. Merge.kif 3861-3866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1845-1853
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 1051-1058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20967-20974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4495-4501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21014-21021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4484-4486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2985-2991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19022-19029
No TPTP formula. May not be expressible in strict first order. Cars.kif 20-25

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