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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasPurposeForAgent
hasPurposeForAgent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2097-2100
No TPTP formula. May not be expressible in strict first order. Merge.kif 3965-3971
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 747-751
No TPTP formula. May not be expressible in strict first order. Merge.kif 3961-3961 Le nombre 1 argument de hasPurposeForAgent est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 3962-3962 Le nombre 2 argument de hasPurposeForAgent est une instance de formule
No TPTP formula. May not be expressible in strict first order. Merge.kif 3963-3963 Le nombre 3 argument de hasPurposeForAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 3960-3960 hasPurposeForAgent est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 117-117
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 80-80
No TPTP formula. May not be expressible in strict first order. relations-it.txt 125-125
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1907-1907
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 32-32
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 121-121
No TPTP formula. May not be expressible in strict first order. relations-de.txt 136-136
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 165-165
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 99-99
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 256-256
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 118-118
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27552-27552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27551-27551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27550-27550
No TPTP formula. May not be expressible in strict first order. terms-de.txt 40-40
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 257-257

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13431-13440
No TPTP formula. May not be expressible in strict first order. Dining.kif 840-847
No TPTP formula. May not be expressible in strict first order. Merge.kif 13453-13462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7158-7171
No TPTP formula. May not be expressible in strict first order. Merge.kif 12963-12969
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 49-59
No TPTP formula. May not be expressible in strict first order. Merge.kif 12980-12985
No TPTP formula. May not be expressible in strict first order. Merge.kif 10513-10518
No TPTP formula. May not be expressible in strict first order. Merge.kif 13006-13019
No TPTP formula. May not be expressible in strict first order. Merge.kif 3973-3976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18377-18386
No TPTP formula. May not be expressible in strict first order. Merge.kif 13331-13342
No TPTP formula. May not be expressible in strict first order. Merge.kif 13290-13296
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3089-3096
No TPTP formula. May not be expressible in strict first order. Merge.kif 12992-13004
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2775


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