| appearance as argument number 1 |
|
| (documentation numberOfFloors EnglishLanguage "(numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel") | Hotel.kif 698-699 | |
| (domain numberOfFloors 1 Building) | Hotel.kif 702-702 | The number 1 argument of number of floors is an instance of building |
| (domain numberOfFloors 2 Integer) | Hotel.kif 703-703 | The number 2 argument of number of floors is an instance of integer |
| (instance numberOfFloors BinaryPredicate) | Hotel.kif 697-697 | number of floors is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3994-3994 | |
| (format ChineseTraditionalLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3993-3993 | |
| (format EnglishLanguage numberOfFloors "%1 has %2 floors") | domainEnglishFormat.kif 3992-3992 | |
| (termFormat EnglishLanguage numberOfFloors "number of floors") | Hotel.kif 700-700 |
| antecedent |
|
|
| (=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 705-715 |
|
|
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