| appearance as argument number 1 |
|
| (documentation numberOfFloors EnglishLanguage "(numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel") | Hotel.kif 702-703 | |
| (domain numberOfFloors 1 Building) | Hotel.kif 706-706 | The number 1 argument of number of floors is an instance of building |
| (domain numberOfFloors 2 Integer) | Hotel.kif 707-707 | The number 2 argument of number of floors is an instance of integer |
| (instance numberOfFloors BinaryPredicate) | Hotel.kif 701-701 | number of floors is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3998-3998 | |
| (format ChineseTraditionalLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3997-3997 | |
| (format EnglishLanguage numberOfFloors "%1 has %2 floors") | domainEnglishFormat.kif 3996-3996 | |
| (termFormat EnglishLanguage numberOfFloors "number of floors") | Hotel.kif 704-704 |
| antecedent |
|
|
| (=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 709-719 |
|
|
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