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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resource

 Sigma KEE - resource
resource

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2514-2514 resource et instrument sont disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2513-2513 resource et result sont 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 2517-2523
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 512-516
No TPTP formula. May not be expressible in strict first order. Merge.kif 2511-2511 Le nombre 1 argument de resource est une instance de processus
No TPTP formula. May not be expressible in strict first order. Merge.kif 2512-2512 Le nombre 2 argument de resource est une instance de objet
No TPTP formula. May not be expressible in strict first order. Merge.kif 2509-2509 resource est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order. Merge.kif 2510-2510 resource est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 2508-2508 resource est une sous-relation de 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 8798-8798 reactant est une sous-relation de 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 49723-49723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49722-49722
No TPTP formula. May not be expressible in strict first order. terms-de.txt 72-72

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus
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 30662-30683
No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10280
No TPTP formula. May not be expressible in strict first order. Merge.kif 10265-10269
No TPTP formula. May not be expressible in strict first order. Merge.kif 10252-10258
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 11554-11558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20415-20420
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 12547-12556
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 3188-3196
No TPTP formula. May not be expressible in strict first order. Merge.kif 12514-12520
No TPTP formula. May not be expressible in strict first order. Economy.kif 5629-5635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11810-11814
No TPTP formula. May not be expressible in strict first order. Food.kif 3617-3632
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 8025-8030
No TPTP formula. May not be expressible in strict first order. Merge.kif 12563-12569
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12533

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
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 811-832
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 3954-3964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19379-19392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2546-2554
No TPTP formula. May not be expressible in strict first order. Food.kif 2548-2562
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. Mid-level-ontology.kif 15152-15164
No TPTP formula. May not be expressible in strict first order. Economy.kif 5772-5778
No TPTP formula. May not be expressible in strict first order. Merge.kif 3936-3941
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1033-1039
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1026-1031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1886-1894
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 3638-3645
No TPTP formula. May not be expressible in strict first order. Food.kif 1566-1573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4757-4763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4746-4748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3030-3036
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19648-19655

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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