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

Formal Language: 



Relation: subrelation

direct-childrendocumentationgraph
mutualAcquaintance5(mutualAcquaintance ?H1 ?H2)的意思是 ?H1 和 ?H2 彼此已经认识并且知道对方的一些事情，如名字和外表。用这个谓词所做的定义需要以 holdsDuring 来...^
    friend.^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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